-
1 эквивалентные предикаты
Большой англо-русский и русско-английский словарь > эквивалентные предикаты
-
2 equivalent predicates
Большой англо-русский и русско-английский словарь > equivalent predicates
-
3 equivalent predicates
Математика: эквивалентные предикаты -
4 equivalent predicates
English-Russian scientific dictionary > equivalent predicates
См. также в других словарях:
интенсионал и экстенсионал — понятия, введенные австрийским логиком и философом Р. Карнапом для анализа зна чения языковых выражений. Метод И. и Э. представляет собой модификацию и дальнейшую разработку семантической концепции немецкого математика и логика Г. Фреге. Но если… … Словарь терминов логики
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
КОНЪЮНКТИВНОЕ СУЖДЕНИЕ — (лат. соnjunctivus – соединительный, от conjungo – соединяю) (с о е д и н и т е л ь н о е с у ж д е н и е) – сложное суждение, к рое либо (а) образовано из двух (или большего числа) др. суждений (членов К. с.) с помощью союза и (или с помощью… … Философская энциклопедия
РАВЕНСТВО ( и ) — РАВЕНСТВО (в логике и математике) отношение между выражениями языка логики и математики, верное тогда (и только тогда), когда оба выражения обозначают один и тот же предмет, т.е., когда все, что можно сказать на языке данной теории про объект,… … Философская энциклопедия
МАШИНА — (в математике) абстрактное устройство, осуществляющее переработку информации. Употребительны также термины абстрактная машина , автомат . Абстрактные М. являются частным случаем управляющих систем. Возникновение их связано с анализом понятия… … Математическая энциклопедия